Dipòsit Digital de la Universitat de Barcelona

Dades

Docència

Institucional

Mediateca

Programari

Recerca

Tesis Doctorals

Treballs de l'alumnat

El Dipòsit Digital de la Universitat de Barcelona és el repositori institucional que conté en format digital els materials derivats de l'activitat docent, investigadora i institucional de la comunitat universitària.

Enviaments recents

Axiomatization of the elementary theory of finite root systems
(2026-09-08) Rodríguez Díaz, Pedro; Moraschini, Tommaso
A root system is a partially ordered set (poset) in which the set of successors of every element is linearly ordered, and above each element there exists a maximal one. We refer to a root system with a maximum as a cotree. In the literature, the terms forests and trees sometimes denote root systems and cotrees, respectively, but can also refer to their respective order duals. These tree-like structures are ubiquitous across various branches of mathematics. Central problems in set theory revolve around a special class of forests in which the set of predecessors of every node is well-ordered (see, e.g., [Jec71]). One of the five main systems in reverse mathematics also relates to trees through theWeak K¨onig’s Lemma (see, e.g., [Sim09, Chapter 4]). On the other hand, modal logic has the tree model property, under which every satisfiable modal formula is satisfied in a tree (see, e.g., [BRV01, Sections 1,2]). Trees also play a fundamental role in computability theory, for instance through König’s Lemma (see, e.g., [Soa16, Part II]), in automata theory (see, e.g., [KN01]), and in linguistics (see, e.g., [BPMMV94]). Moreover, a foundational result for this work is Rabin’s celebrated Tree Theorem (see [Rab69]), which establishes the decidability of the monadic second order theory of the two successor functions, S2S. This theorem is central to decidability theory because it implies the decidability of the elementary theory of several classes of structures, including trees, root systems, and their finite members. For the basics of monadic second order logic, we refer the reader to Section 2.4. For further details on the decidability of the monadic second order theory of S2S and related structures, see [Rab69], [KN01], and [Gur17].
Análisis del Aprendizaje-Servicio en el Trabajo Social Comunitario como motor de transformación y justicia social: el caso del proyecto "Els somriures dels casals" en el Sahara marroquí (2014-2019)
(Universidad Nacional de Colombia, 2025-12-31) Buenaventura Rubio, Maria Antonia; Valencia Gálvez, Lorena
Este artículo examina el potencial transformador del Aprendizaje-Servicio (ApS) en el Trabajo Social Comunitario, en un contexto marcado por la crisis de la educación superior pública y los desafíos de la Agenda 2030. A partir del análisis del proyecto “Els somriures dels casals”, desarrollado entre 2014 y 2019 en el sur de Marruecos con participación interdisciplinaria de estudiantes de la Universidad de Barcelona y agentes comunitarios, se explora cómo el ApS contribuye a una formación profesional crítica, ética e intercultural, alineada con principios de justicia social y equidad. La investigación, de enfoque cualitativo y etnográfico, empleó técnicas como grupos de discusión, diarios de campo y reflexiones finales, analizadas mediante el software Atlas.ti. Los resultados muestran un impacto significativo en tres dimensiones del aprendizaje estudiantil: personal, profesional y social. Además, se evidenció un efecto positivo en la comunidad amazigh, destacando el fortalecimiento cultural y la participación comunitaria.
Structural and electronic properties of MXene fakes: from edge e ects to bandgap evolution
(Royal Society of Chemistry, 2026-03-04) Allés, Miquel; Vela Llausi, Sergio; Morales García, Ángel; Viñes Solana, Francesc; Sousa Romero, Carmen
The structural and electronic properties of MXenes were investigated by means of a nite-systemapproach using all-electron Density Functional Theory-based calculations. Pristine (M2C)n akes and theirO-terminated counterparts (M2CO2)n (M = Sc, Y, Ti, Zr, Hf, V, Nb, Ta, Cr, Mo and W; 12 ≤ n ≤ 216) werecomputationally modelled. Surface-like behaviour is lost for n ≤ 90, corresponding to ca. 3 nm wideakes, where nite-size e ects become increasingly relevant. While the ake structure at the core is verysimilar to that found in extended periodic models, the edges are often deformed due to structuraldefects, which impact their electronic properties. Pristine M2C akes are metallic, while the O-terminatedM2CO2 counterparts present bandgaps exceeding 1 eV for metals of Groups III and IV when neglectinglow-populated gap states near the Fermi level. The alignment of the valence and conduction bands forthese systems evolves favourably to nearly include the water splitting half-reactions within the bandgapfor the largest akes. Overall, our results show that Sc, Y, Zr, and Hf O-functionalised MXenes are the bestsuited for photocatalytic water splitting, obtaining energy gaps within the visible spectrum for severalflake sizes, and band alignments closer to water oxidation and hydrogen reduction reactions.
Esbós d’una paleoantropologia dels valors: la cura, principi humà i valor moral
(ICE Universitat de Barcelona, 2026-06-30) Payá Sánchez, Montserrat
L’article realitza una investigació ex-post al voltant de les conductes humanitzadores dels homínids,centrant-se especialment en els neandertals per ser abundoses les restes fòssils trobades i, en conseqüència,per haver estat els homínids anteriors als sàpiens més àmpliament estudiats. Recolzantseen l’accepció d’educació com a procés d’humanització, i en treballs actuals duts a terme des de laTeoria de l’Educació sobre aquesta accepció, el present treball indaga en l’origen d’aquestes conductes.Les investigacions consultades mostren la rellevància de l’empatia, la cooperació i l’ajudacom a base de la humanització. També la de les pràctiques d’atenció i cura a altres membres delgrup dependents. Des d’aquestes evidències, l’article proposa que l’inici del procés d’humanitzacióestà especialment relacionat amb les conductes d’atenció i cura a membres del grup dependents,que la cura pot ser considerada com a valor central, que amb ella comença la moralitat, i que lapaleoantropologia ofereix evidències per afirmar que l'origen dels valors rau en les relacions amb els altres i en els afectes i sentiments.
Simulación aplicada al aprendizaje activo en asignaturas de Ingeniería Química y Química Analítica.
(Congrés Internacional de Docència Universitària i Innovació (CIDUI), 2025) Bringué Tomàs, Roger; Bonet i Ruiz, Jordi; Plesu Popescu, Alexandra Elena; Torres, Ricard; Soto López, Rodrigo; Cabello Gallego, Ruben; Bayarri Ferrer, Bernardí; Labanda, Jordi; Núñez Burcio, Oscar; Fuguet i Jordà, Elisabet; Benavente Moreno, Fernando J. (Julián); Beltrán Abadia, José Luis
The development of the strategic line of Simulation applied to active learning in Chemical Engineering and Analytical Chemistry subjects has been a success. Four actions have been designed based on the incorporation of simulation tools in activities for two compulsory subjects of the Chemistry and Chemical Engineering degrees and two practical laboratory subjects of the Chemical Engineering degree. The software and materials needs for the institution are diverse, from almost zero to very demanding. Three of these actions have been implemented with very positive results in terms of acceptance by the students.